$\forall$$T$:Type, $L$:($T$ List), $x$, $y$:$T$. adjacent($T$;$L$;$x$;$y$) $\Rightarrow$ $x$ before $y$ $\in$ $L$